dans le corps des ingénieurs de l'industrie et des mines et admis à faire valoir ses droits à la retraite ingénieur divisionnaire de l'industrie et des mines, détaché sur un emploi de chef de mission au ministère de l'économie, des finances et de l'industrie |